منابع مشابه
System Verification Based on Modified Interval Analysis
Interval arithmetic was original developed to estimate rounding errors on floating-point computations but it is used in a wide variety of applications from constraint solvers and global optimizers to power and timing analysis of software processes. The objective of interval analysis is to determine the output ranges (or interval) of a computation set. The main problem of classical interval anal...
متن کاملOn-the-Fly Data Flow Analysis Based on Verification Technology
The combination of static and dynamic software analysis, such as data flow analysis (Dfa) and model checking, provides benefits for both disciplines. On the one hand, the information extracted by Dfas about program data may be utilized by model checkers to optimize the state space representation. On the other hand, the expressiveness of logic formulas allows us to consider model checkers as gen...
متن کاملmortality forecasting based on lee-carter model
over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...
15 صفحه اولA new proposal of CPR based on coronary perfusion pressure.
Closed chest massage and tracheal intubation are not enough. The 70% success rate promised by Kouwenhoven 31 years ago is not realised. Coronary perfusion pressure is the main goal. To achieve this a proposal of a combined new CPR is advocated which encompass the following items besides closed chest massage and tracheal intubation: (a) use of high dose methoxamine (instead of epinephrine), (b) ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DEStech Transactions on Computer Science and Engineering
سال: 2019
ISSN: 2475-8841
DOI: 10.12783/dtcse/cscme2019/32557